An Object Behavior Modeling Augmented with Modeling Integrity Constraints
نویسنده
چکیده
The behavior modeling is a critical task in object oriented database design. The behavior model of objects is defined as a set of states and events which represents a script of object life cycles. This model is structurally refined through the analysis of abstraction structures of the state class and the event class. The behavior model is further augmented with the assertion class which describes integrity constraints of objects. A method for designing objects based on this enhanced version of the behavior model is also discussed.
منابع مشابه
Modeling spatial constraints in conceptual database design of network applications
This paper describes the problems found in geographic databases design during the conceptual modeling of real world elements that are related by a network structure. It is believed that is possible to reach a better quality of the geographical data if spatial integrity constraints about the elements on a network are specified in a conceptual level. Hence, the purpose of this paper is to expand ...
متن کاملAn Overview on Semantical Constraints
Modeling of semantics is one of the most diicult tasks in database design. Constraints are used to express database semantics. They are used diierently in database models. They express domain restrictions, specify relationships between components and state database behavior. The utilization depends on the richness of the type system used in the model. The relational model is using a simple type...
متن کاملModeling of Constraints in Distributed Object-Oriented Environment By CHHANDA RAY DISSERTATION SUBMITTED FOR THE DEGREE OF DOCTOR OF PHILOSOPHY (ENGINEERING)
Object Oriented Data Modeling is gaining popularity because of its elegance in representing real world situations. On the other hand, Integrity constraints traditionally form an essential part of schema definition. In this context, Modeling of constraints in Object Oriented Model has been the focus of attention of many researchers in recent times. Integrating data from many heterogeneous source...
متن کاملOn Formalizing the UML Object Constraint Language OCL
We present a formal semantics for the Object Constraint Language (OCL) which is part of the Uniied Modeling Language (UML) { an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML class diagrams can be utilized for describing the overall structure, whereas additional integrity constraints and queries are speciied with ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل